Comparing Web Development Platforms Through the Eyes of Professional Developers Will Hardy http://willhardy.com.au/ Technical Report B-07-14

Source URL: www.inf.fu-berlin.de

• Software engineering
• Computer programming
• Computing
• High-level programming languages
• Object-oriented programming languages
• Scripting languages
• Humancomputer interaction
• Technical communication
• Usability
• Software quality
• Python
• Web application

Why Threads Are A Bad Idea (for most purposes) John Ousterhout Sun Microsystems Laboratories http://www.sunlabs.com/~ouster

Source URL: web.stanford.edu

• Software engineering
• Computer programming
• Computing
• Concurrency control
• Parallel computing
• Concurrent computing
• Thread
• Synchronization
• Monitor
• Scheduling
• Event-driven programming
• Lock

Squeal: A Programming Interface to Structural Information on the Web Ellen Spertus Mills College 5000 MacArthur Blvd. Oakland, CA 94613

Source URL: www.spertus.com

XING E-Recruiting API Apply with XING profile Good for job applicants and good for you. API stands for application programming interface, which allows you to connect XING with external applications. Below you find two AP

Source URL: recruiting.xing.com

• Community websites
• Social networking services
• XING
• Recruitment
• Web API
• Application programming interface
• Technology
• Computing
• Communication

Version Date API 2.0 for wm 

Source URL: writemonkey.com

• Software engineering
• Computing
• Computer programming
• Cross-platform software
• Functional languages
• Scripting languages
• Web programming
• Concurrent programming languages
• JavaScript
• Java
• C Sharp

Weakest Precondition Synthesis for Compiler Optimizations Nuno P. Lopes and Jos´e Monteiro INESC-ID, IST Universidade de Lisboa Abstract. Compiler optimizations play an increasingly important role

Source URL: web.ist.utl.pt

• Software
• Computing
• Compiler construction
• Programming language implementation
• Compiler optimizations
• Formal methods
• Edsger W. Dijkstra
• Predicate transformer semantics
• Optimizing compiler
• Static single assignment form
• Compiler
• Psyco

PreparedJS: Secure Script-Templates for JavaScript Martin Johns SAP Research Abstract. Content Security Policies (CSP) provide powerful means to

Source URL: dl.dropboxusercontent.com

• Computing
• Software engineering
• Computer security
• Hacking
• Functional languages
• Web programming
• JavaScript
• Content Security Policy
• Cross-site scripting
• Same-origin policy
• JSON
• Code injection

Curriculum Vitae Ruzica Piskac address: The Department of Computer Science

Source URL: www.cs.yale.edu

• Logic in computer science
• Symposium on Principles of Programming Languages
• International Semantic Web Conference
• Separation logic
• Automated reasoning
• Computer Aided Verification
• Abstract interpretation
• Vasant Honavar
• Vienna Summer of Logic

Genome Informatics 14: 673–KEGG API: A Web Service Using SOAP/WSDL to Access the KEGG System

Source URL: www.jsbi.org

• Biological databases
• Systems biology
• Biology
• Systems science
• Bioinformatics
• Online databases
• KEGG
• Molecular biology
• Academia
• Application programming interface
• Ensembl
• Gene

Specware 4.2 Language Manual Specware 4.2 Language Manual Copyright © by Kestrel Development Corporation Copyright © by Kestrel Technology LLC All rights reserved

Source URL: www.specware.org

• Software engineering
• Computing
• Computer programming
• Formal languages
• Theoretical computer science
• Notation
• Programming language
• Specification
• Category
• C
• Regular expression
• Web Ontology Language